Modelling the dynamics of reasoning processes: Reasoning by assumption
نویسندگان
چکیده
منابع مشابه
Modelling the dynamics of reasoning processes: Reasoning by assumption
To model the dynamics of cognitive processes, often the Dynamical Systems Theory (DST) is advocated. However, for higher cognitive processes such as reasoning and certain forms of natural language processing the techniques adopted within DST are not very adequate. This paper shows how an analysis of the dynamics of reasoning processes can be made using techniques different from those of DST. Th...
متن کاملModelling Assumption-Based Reasoning Using Contexts
We propose a two-fold use of context in reasoning about agents. The first concerns the modelling of beliefs which are entertained only within the scope of some assumption. We illustrate this use by describing as logical model of an agent which reasons in a natural deduction style by making assumptions to derive new formulas. The second use of context we propose here concerns the modelling of re...
متن کاملReasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern called ‘reasoning by assumption’ a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate betw...
متن کاملProbabilistic Assumption-Based Reasoning
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of the Dempster-Shafer theory of evidence. Laskey, Lehner [1] and Provan [2] have already proposed a similar point of view but these papers do not emphasize the mathematical foundations of the probabilistic assumptionbas...
متن کاملFormalization and Analysis of Reasoning by Assumption
This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Systems Research
سال: 2003
ISSN: 1389-0417
DOI: 10.1016/s1389-0417(02)00102-x